Logic for Computable Functions - PDFSEARCH.IO - Document Search Engine

Logic for Computable Functions
Results: 37

#	Item
11	Isabelle Supports Rodin Matthias Schmalz Information Security Group, ETH Zurich April 28th, 2011 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:15 Applied mathematics Formal methods Isabelle Logic for Computable Functions HOL B-Method Vampire Rodin Theorem prover Theoretical computer science Mathematical software Logic in computer science
12	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 JEdit Proof assistant Isabelle Plug-in Lawrence Paulson R HOL Logic for Computable Functions Software Computing Logic in computer science
13	A BASIS FOR A MATHEMATICAL THEORY OF COMPUTATION∗ JOHN McCARTHY 1961–1963 [This 1963 paper was included in Computer Programming and Formal Systems, edited by P. Braffort and D. Hirshberg and published by North-Hollan Add to Reading List Source URL: www-formal.stanford.edu Language: English - Date: 2002-03-26 18:08:23 Theoretical computer science Theory of computation Functions and mappings Function Computable function Logical connective Computability Indeterminate form Universal quantification Computability theory Mathematics Mathematical logic
14	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 JEdit Proof assistant Isabelle Plug-in Lawrence Paulson R HOL Logic for Computable Functions Software Computing Logic in computer science
15	Standalone Tactics using OpenTheory Ramana Kumar?1 and Joe Hurd2 1 University of Cambridge Add to Reading List Source URL: www.gilith.com Language: English - Date: 2012-06-04 20:10:04 Logic in computer science Automated theorem proving Formal methods Proof assistant Isabelle HOL Automated reasoning Logic for Computable Functions Theorem Proving in Higher-Order Logics Theoretical computer science Mathematical software Mathematics
16	OpenTheory: Package Management for Higher Order Logic Theories Joe Hurd Galois, Inc. Add to Reading List Source URL: www.gilith.com Language: English - Date: 2009-08-21 07:30:13 Automated theorem proving Logic in computer science Mathematical logic Formal methods Isabelle Proof assistant Mathematical proof Logic for Computable Functions Theorem Theoretical computer science Mathematics Logic
17	Composable Packages for Higher Order Logic Theories Joe Hurd Galois, Inc. Abstract Interactive theorem proving is tackling ever larger formalization and verification projects, and Add to Reading List Source URL: www.gilith.com Language: English - Date: 2010-07-21 04:29:06 Model theory Logic in computer science Automated theorem proving Concepts Philosophy of science Logic for Computable Functions Proof assistant Theory HOL Logic Science Mathematics
18	Motivation Identifying Standard Theories Extracting Proofs Add to Reading List Source URL: www.gilith.com Language: English - Date: 2014-03-02 18:28:46 Automated theorem proving Logic in computer science Model theory Proof theory Proof assistant Isabelle HOL Logic for Computable Functions Mathematical proof Mathematical logic Theoretical computer science Logic
19	Introduction Articles of Proof Compression Add to Reading List Source URL: www.gilith.com Language: English - Date: 2009-08-21 09:46:49 Automated theorem proving Logic in computer science Mathematical logic Proof assistant Logic for Computable Functions Coq Mathematical proof HOL Light Theorem Mathematics Logic Theoretical computer science
20	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 Functional languages Procedural programming languages Logic in computer science Isabelle ML OCaml Lawrence Paulson Logic for Computable Functions Programming language Software engineering Computing Computer programming